21. Computability, complexity, and languages : fundamentals of theoretical computer science
پدیدآورنده: Martin D. Davis, Elaine J. Weyuker
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Machine theory,، Computational complexity,، Formal languages
رده :
QA
267
.
D285C6
22. Computability & unsolvability
پدیدآورنده : Davis, Martin
موضوع : ، Recursive functions,، Unsolvability )Mathematical logic(,، Computable functions
۲ نسخه از این کتاب در ۱ کتابخانه موجود است.
23. Computability & unsolvability
پدیدآورنده: Martin Davis
کتابخانه: کتابخانه دانشگاه تحصیلات تکمیلی صنعتی و فناوری پیشرفته کرمان (کرمان)
موضوع: ، Recursive functions,، Unsolvability )Mathematical logic(,، Computable functions
رده :
QA
9
.
615
.
D38
1982
24. Computability & unsolvability
پدیدآورنده: DAVIS,MARTIN DAVID
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: RECURSIVE FUNCTIONS , UNSOLVABILITY )MATHEMATICAL LOGIC( , COMPUTABLE FUNCTIONS
رده :
QA
9
.
615
.
D38
25. Computability & unsolvability
پدیدآورنده: DAVIS,MARTIN
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: RECURSIVE FUNCTIONS , UNSOLVABILITY )MATHEMATICAL LOGIC( , COMPUTERS FUNCTIONS
رده :
QA
9
.
615
.
D38
1982
26. Country Path Conversations
پدیدآورنده: Heidegger, Martin; Davis, Bret W.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه کردستان (کردستان)
موضوع: Religion and Philosophy
28. Differential and integral calculus
پدیدآورنده: by Edmund Landau; translated from the German by Melvin Hausner and Martin Davis
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Calculus
رده :
QA
303
.
L2513
1960
29. Differential and integral calculus
پدیدآورنده: / by Edmund Landau. Translated from the German by Melvin Hausner and Martin Davis
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه کردستان (کردستان)
موضوع: Calculus
رده :
QA303
.
L254
31. From Linear Operators to Computational Biology
پدیدآورنده: / Martin Davis, Edmond Schonberg
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: CONTROL SYSTEMS|ROBOTICS&COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|AUTOMATION
رده :
E-BOOK
32. Hilbert's tenth problem
پدیدآورنده: Yuri V. Matiyasevich; with a foreword by Martin Davis
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Hilbert's tenth problem,، Computable functions
رده :
QA
242
.
M25D413
35. Implementation of a Collaborative HIV and Hepatitis C Screening Program in Appalachian Urgent Care Settings
پدیدآورنده: Burrell, Carmen N.; Sharon, Melinda J.; Davis, Stephen M.; Wojcik, Elena M.; Martin, Ian B.K.,Burrell, Carmen N.; Sharon, Melinda J.; Davis, Stephen M.; Wojcik, Elena M.; Martin, Ian B.K.
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع:
36. Improving patient care :
پدیدآورنده: edited by Richard Grol, Michel Wensing, Martin Eccles and David Davis.
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Health care reform,Health Care Reform,Patient Care,Quality of Health Care,Health Care Reform,Medicine,Patient Care,Quality of Health Care
رده :
RA394
37. John Calvin /
پدیدآورنده: by Thomas J. Davis ; introductory essay by Martin E. Marty.
کتابخانه: کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Calvin, Jean,1509-1564,Calvin, Jean,Calvin, Jean,1509-1564.,Reformation-- Switzerland-- Geneva, Biography, Juvenile literature.,Reformation.,Switzerland, Geneva., 7
رده :
BX9418
.
D32
2005
38. Lectures on modern mathematics
پدیدآورنده: Davis, Martin
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: Mathematics
رده :
510
D263l
39. Lectures on modern mathematics
پدیدآورنده: Davis, Martin
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: Mathematics
رده :
510
D263l
40. Logic for Programming, Artificial Intelligence, and Reasoning
پدیدآورنده: / Martin Davis, Ansgar Fehnker, Annabelle McIver, Andrei Voronkov
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
